Métodos Formais em Engenharia de Software

Mestrado de [Engenharia] Informática (13/14)

Search: ^p

Education/MFES1314 Web Changed Changed by
Programa 11 Sep 2013 - 11:45 - NEW JoseNunoOliveira
Módulos A UCE consta dos módulos CSI Cálculo de Sistemas de Informação AMT Análise, Modelação e Teste VFS Verificação Formal de Software ...
ProjectoIntegrado 15 Oct 2014 - 16:37 - r27 JoseNunoOliveira
Cohesive Project (Projecto Integrado) Interesting and useful slides for preparing your milestone presentations: http://research.microsoft.com/en us/um/people ...
Found 2 topics.
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM